密码协议验证中的Petri网方法

如何验证密码协议的安全性是一个复杂的问题,只有形式化的验证方法才能证明密码协议的绝对正确.利用Petri网给出了一种用于密码协议验证的形式化方法.在合理假设的基础上,区分合法用户与攻击者在执行协议时的前提条件,列出执行协议后的结果,在此基础上建立了攻击者的Petri网模型.最后,用这种方法对NSPK协议进行了验证,证明了最初的NSPK协议中存在一个安全问题,而改进的NSPK协议则消除了这个问题.证明了这种方法的有效性.     

联合建模异构社交和内容信息的活动推荐模型

随着基于活动的社交网络的迅速发展,活动推荐已成为一个重要的工具,帮助人们在线上发现有趣的活动,并在线下面对面地参与活动.但是,相对于传统的推荐系统,活动推荐面临着很多挑战.（1）用户只能参与很少的活动,这就导致一个非常稀疏的用户-活动矩阵;（2）用户对活动的响应是隐性反馈;（3）活动本身有生命周期,已经过期的活动不能再向用户推荐;（4）每天会有很多新的活动产生,需要及时向用户推荐.为了应对这些挑战,提出一个联合建模异构社交和内容信息的活动推荐模型.该模型可同时探索用户的线上和线下社交活动,并结合活动内容建模用户对活动的决策行为.在Meetup数据集上做实验以评估所提出模型的性能.实验结果表明,提出的模型优于其他方法.     

一种基于单片机的多功能数字钟

介绍了多功能数字钟的系统设计。系统具有时间设置及显示、闹钟、温度显示、遥控止闹等功能。系统以MSP430为核心,该单片机内部集成了温度传感器,极大地简化了硬件设计。因为MSP430内部中断资源丰富,键盘扫描、温度转换、定时等均采用中断触发,减少了系统响应时间,提高了软件执行效率。     

基于Web的科研信息管理系统

将C/S与B/S两种架构结合起来,充分发挥各自的优点,设计了一套高校科研管理信息系统,数据库采用前、后台双重模式构建,具备多重安全屏障,有效地保证了信息的安全性和系统的可靠性.数据采集采用用户录入,后台审查,统一上传更新的方式.管理任务只对后台数据库操作,防止网络不畅而造成不及时问题,提高了数据处理速度.个人和部门用户可随时查阅科研信息,界面友好,功能齐全,给科研管理工作带来了极大方便.     

移动机器人路径规划强化学习的初始化

针对现有机器人路径规划强化学习算法收敛速度慢的问题,提出了一种基于人工势能场的移动机器人强化学习初始化方法.将机器人工作环境虚拟化为一个人工势能场,利用先验知识确定场中每点的势能值,它代表最优策略可获得的最大累积回报.例如障碍物区域势能值为零,目标点的势能值为全局最大.然后定义Q初始值为当前点的立即回报加上后继点的最大折算累积回报.改进算法通过Q值初始化,使得学习过程收敛速度更快,收敛过程更稳定.最后利用机器人在栅格地图中的路径对所提出的改进算法进行验证,结果表明该方法提高了初始阶段的学习效率,改善了算法性能.